L'efficacité technique et l'efficacité symbolique

Elagage et aide à l'interprétation symbolique et graphique d'une pyramide

Résumé : Le but de ce travail est de faciliter l’interprétation d’une classification pyramidale construite sur un tableau de données symboliques. Alors que dans une hiérarchie binaire le nombre de paliers est égal à n-1, si n est le nombre d’individus à classer, dans le cas d’une pyramide ce dernier peut atteindre n(n-1)/2. Afin de réduire ce nombre, on élague la pyramide et on utilise un critè...

Autojection et compilateurs procedure formelle symbolique

Structures latticielles, correspondances de Galois contraintes et classification symbolique

This thesis is in the field of the latticial analysis of data in the situation, very general, whereobjects of various nature are described by variables of various types ; one makes simply theassumption (realistic) according to which each variable takes his values in a lattice. The problemsof processing of such data (extraction of knowledge) often amount seeking to obtain Moore<l...

Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre

Apprentissage neuro-symbolique pour la RI coopérative, adaptative et évolutive : le modèle multi-agents SARCI

RÉSUMÉ. Dans cet article nous proposons un modèle pour un SRI qui prend en compte la complexité de la requête de l’utilisateur en proposant de la décomposer en différents points de vue. Nous proposons également de considérer les documents du corpus suivant des angles différents et des structures diverses. Pour prendre en compte le caractère évolutif des connaissances liées aux documents et aux ...